Edexcel core pure proof by induction